O. Kouchnarenko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Testing adaptation policies for software components

Dadeau, FrÃ©dÃ©ric, Gros, Jean-Philippe, Kouchnarenko, Olga

Journal:

Software Quality Journal

Year:

2020

Language:

english

File:

PDF, 1.59 MB

english, 2020

2

[ACM Press the Tenth Workshop - Paphos, Cyprus (2010.03.28-2010.03.29)] Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10 - Specifying generic Java programs

Giorgetti, Alain, Marché, Claude, Tushkanova, Elena, Kouchnarenko, Olga

Year:

2010

Language:

english

File:

PDF, 254 KB

english, 2010

3

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Formal Models and Analysis for Self-adaptive Cyber-physical Systems

Kouchnarenko, Olga, Khosravi, Ramtin

Year:

2017

Language:

english

File:

PDF, 111 KB

english, 2017

4

Opacity for linear constraint Markov chains

Bérard, Béatrice, Kouchnarenko, Olga, Mullins, John, Sassolas, Mathieu

Journal:

Discrete Event Dynamic Systems

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

5

Component Simulation-based Substitutivity Managing QoS Aspects

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 337 KB

english, 2010

6

Handling Left-Quadratic Rules When Completing Tree Automata

Y. Boichut, R. Courbis, P.-C. Héam, O. Kouchnarenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 279 KB

english, 2008

7

Composition of Services with Constraints

Philippe Balbiani, Fahima Cheikh Alili, P.-C. Héam, Olga Kouchnarenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

8

A model for recursive-parallel programs

Olga Kouchnarenko, Ph. Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 31 KB

1997

9

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 375 KB

english, 2009

10

Component simulation-based substitutivity managing QoS and composition issues

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 663 KB

english, 2010

11

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 328 KB

english, 2011

12

Verification of class liveness properties with java modelling language

Giorgetti, A., Groslambert, J., Julliand, J., Kouchnarenko, O.

Journal:

Year:

2008

Language:

english

File:

PDF, 745 KB

english, 2008

13

Loops and overloops for Tree-Walking Automata

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 368 KB

english, 2012

14

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Meca: A Tool for Access Control Models

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 169 KB

english, 2006

15

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Integration of Security Policy into System Modeling

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 443 KB

english, 2006

16

A rule-based system for automatic decidability and combinability

Tushkanova, E., Giorgetti, A., Ringeissen, C., Kouchnarenko, O.

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1012 KB

english, 2015

17

[IEEE 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007) - Evry Cedex, France (2007.06.18-2007.06.20)] 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007) - How to Handle QoS Aspects in Web Services Substitutivity Verification

Hoam, Pierre-Cyrille, Kouchnarenko, Olga, Voinot, Jerome

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

18

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Random Grammar-Based Testing for Covering All Non-terminals

Dreyfus, Alois, Heam, Pierre-Cyrille, Kouchnarenko, Olga

Year:

2013

Language:

english

File:

PDF, 227 KB

english, 2013

19

[IEEE 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2010.05.16-2010.05.19)] ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 - Event-based adaptation policies for Fractal components

Dormoy, Julien, Kouchnarenko, Olga

Year:

2010

Language:

english

File:

PDF, 720 KB

english, 2010

20

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - How to compute the refinement relation for parameterized systems

Bellegarde, F., Charlet, C., Kouchnarenko, O.

Year:

2003

Language:

english

File:

PDF, 494 KB

english, 2003

21

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - SAT Solvers for Queries over Tree Automata with Constraints

He, Pierre-Cyrille, Hugot, Vincent, Kouchnarenko, Olga

Year:

2010

Language:

english

File:

PDF, 224 KB

english, 2010

22

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Patterns for B: Bridging Formal and Informal Development

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 203 KB

english, 2006

23

HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA

BOICHUT, YOHAN, COURBIS, ROMEO, HEAM, PIERRE-CYRILLE, KOUCHNARENKO, OLGA

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 244 KB

english, 2009

24

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Time Constraint Patterns for Event B Development

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 371 KB

english, 2006

25

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 ||

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 3.25 MB

english, 2006

26

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || LEIRIOS Test Generator: Automated Test Generation from B Models

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

27

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - JML-based verification of liveness properties on a class in isolation

Groslambert, Julien, Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 199 KB

english, 2006

28

A random testing approach using pushdown automata

Dreyfus, Aloïs, Héam, Pierre-Cyrille, Kouchnarenko, Olga, Masson, Catherine

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 2.46 MB

english, 2014

29

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Preserving opacity on Interval Markov Chains under simulation

Berard, Beatrice, Kouchnarenko, Olga, Mullins, John, Sassolas, Mathieu

Year:

2016

Language:

english

File:

PDF, 318 KB

english, 2016

30

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 ||

Kouchnarenko, Olga, Khosravi, Ramtin

Year:

2017

Language:

english

File:

PDF, 16.28 MB

english, 2017

31

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Tool Support for Fuzz Testing of Component-Based System Adaptation Policies

Kouchnarenko, Olga, Khosravi, Ramtin

Year:

2017

Language:

english

File:

PDF, 703 KB

english, 2017

32

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Validated Test Models for Software Product Lines: Featured Finite State Machines

Kouchnarenko, Olga, Khosravi, Ramtin

Year:

2017

Language:

english

File:

PDF, 488 KB

english, 2017

33

Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE

Kouchnarenko, Olga, Weber, Jean-François

Journal:

Automatic Control and Computer Sciences

Year:

2017

Language:

english

File:

PDF, 826 KB

english, 2017

34

Assessing SMT and CLP approaches for workflow nets verification

Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 2.04 MB

english, 2018

35

Test Generation from Event System Abstractions to Cover Their States and Transitions

Julliand, J., Kouchnarenko, O., Masson, P. A., Voiron, G.

Journal:

Programming and Computer Software

Year:

2018

Language:

english

File:

PDF, 890 KB

english, 2018

36

[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre-Alain, Voiron, Guillaume

Year:

2017

Language:

english

File:

PDF, 351 KB

english, 2017

37

Selected and extended papers from FACS 2016

Kouchnarenko, Olga, Madelaine, Eric

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 137 KB

english, 2019